Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
121	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:38 Software engineering Data types Computing Object-oriented programming Type theory Const Object Identifier Subtyping Pointing stick
122	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
123	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
124	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
125	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
126	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold
127	UDC Magazine Submission Form A separate Submission Form must accompany each feature or ad submitted. Designate type of feature (Division or Chapter news, historical article. In Memoriam write-up, query, or ad) under Desc Add to Reading List Source URL: www.wddesigns.org Language: English - Date: 2015-04-03 10:08:18 Program analysis Type system Type theory
128	Topology – 156 www.elsevier.com/locate/top Grope cobordism of classical knots James Conanta , Peter Teichnerb;∗ b Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Topology Knot theory Knot invariants Geometric topology Surgery theory 3-manifolds Capped grope Cobordism Finite type invariant Kontsevich invariant Knot Clasper
129	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables
130	Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-13 03:34:39 Software engineering Computer programming Programming language theory Functional languages Biomolecules Type theory Procedural programming languages Control flow Eval Heme String literal ML

UPDATE